大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Miami Winter Symposium (18th : 1986) 的图书(共3218本)

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th International Conference, LPAR-18, M茅rida, Venezuela, March 11-15, 2012. Proceedings

0
索取号：
作者：Bj酶rner、 Nikolaj.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings

0
索取号：
作者：Regnell、 Bj枚rn.、Damian、 Daniela.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

VLSI-SoC: Forward-Looking Trends in IC and Systems Design [electronic resource] : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

0
索取号：
作者：Ayala、 Jos茅 L.、Atienza Alonso、 David.、Reis、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Selected Areas in Cryptography [electronic resource] : 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised Selected Papers

0
索取号：
作者：Miri、 Ali.、Vaudenay、 Serge.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

0
索取号：
作者：Lukasiewicz、 Thomas.、Sali、 Attila.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings

0
索取号：
作者：Choy、 Oliver C. S.、Cheung、 Ray C. C.、Athanas、 Peter.、Sano、 Kentaro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Applied Computational Intelligence in Engineering and Information Technology [electronic resource] : Revised and Selected Papers from the 6th IEEE International Symposium on Applied Computational Intelligence and Informatics SACI 2011

0
索取号：
作者：Precup、 Radu-Emil.、Kov谩cs、 Szilveszter.、Preitl、 Stefan.、Petriu、 Emil M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Algorithms for Sensor Systems [electronic resource] : 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbr眉cken, Germany, September 8-9, 2011, Revised Selected Papers

0
索取号：
作者：Erlebach、 Thomas.、Nikoletseas、 Sotiris.、Orponen、 Pekka.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Livshits、 Benjamin.、Scandariato、 Riccardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Bioinformatics for Personalized Medicine [electronic resource] : 10th Spanish Symposium, JBI 2010, Torremolinos, Spain, October 27-29, 2010. Revised Selected Papers

0
索取号：
作者：Freitas、 Ana T.、Navarro、 Arcadi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Parameterized and Exact Computation [electronic resource] : 6th International Symposium, IPEC 2011, Saarbr眉cken, Germany, September 6-8, 2011. Revised Selected Papers

0
索取号：
作者：Marx、 D谩niel.、Rossmanith、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Current Trends in Web Engineering [electronic resource] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers

0
索取号：
作者：Harth、 Andreas.、Koch、 Nora.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

0
索取号：
作者：Russo、 Claudio.、Zhou、 Neng-Fa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Autonomous Mini Robots [electronic resource] : Proceedings of the 6-th AMiRE Symposium

0
索取号：
作者：R眉ckert、 Ulrich.、Joaquin、 Sitte.、Felix、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Multimedia Modeling [electronic resource] : 18th International Conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012. Proceedings

0
索取号：
作者：Schoeffmann、 Klaus.、Merialdo、 Bernard.、Hauptmann、 Alexander G.、Ngo、 Chong-Wah.、Andreopoulos、 Yiannis.、Breiteneder、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Spatial Data Handling and GIS [electronic resource] : 14th International Symposium on Spatial Data Handling

0
索取号：
作者：Yeh、 Anthony G.O.、Shi、 Wenzhong.、Leung、 Yee.、Zhou、 Chenghu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.